🔢 Type Theory - c13e · Scour

Eliminating reversals from cubical type theories 🔣Category Theory

Erasing Existentials λFunctional Programming

wolfgirl.dev·14h·Lobsters, Hacker News

Null Pointers Have Been Killing Software for 60 Years 🛡️Memory Safety

siliconopera.com·19h

CppCon 2025 Concept-based Generic Programming -- Bjarne Stroustrup λFunctional Programming

Rust Friction: Production Reality ⚙️Compiler Design

krun.pro·5d·DEV

New review reveals why mosquitoes keep choosing the same people, and it's not blood type ⚡Effect Systems

thecooldown.com·13h

Zero a Language for Humans and Robots ⚡Zig

zero-lang.com·2d·Hacker News

chore(deps-dev): bump the typescript-eslint group with 2 updates (#22… 🔤New Languages

·1d

Type Equality in LLVM ⚙️Compiler Design

lowlevelbits.org·14h

re: the appeal of lowercase text 🧠Active Recall

venado.bearblog.dev·3h

Moving Beyond Type Systems ⚡Effect Systems

news.ycombinator.com·4d·Hacker News

NTJ rebrand 🔤New Languages

fontsinuse.com·1d

Graded Modal Types for Memory and Communication Safety 🛡️Memory Safety

kar.kent.ac.uk·22h·Hacker News

PHP's Oddities 🛡️Memory Safety

flowtwo.io·1d·Hacker News

Constructive higher sheaf models with applications to synthetic mathematics 🔣Category Theory

Rust Is Hard for the Engineers with the Most Experience ⚙️Systems Programming

deepengineering.substack.com·5h·r/rust

I wanted async/await but I got a concurrency model 📡Erlang

blog.kulman.sk·22h·Hacker News

Type out the code> ⚙️Compiler Design

haskellforall.com·2d·Lobsters, Hacker News, r/programming

Portland PLV Group 📐Formal Methods

plv.cs.pdx.edu·5d

Formal Verification Gates for AI Coding Loops 📡Erlang

reubenbrooks.dev·12h·Hacker News

Log in to enable infinite scrolling